Skip to content

C++: Change note for getValueText change#1820

Closed
jbj wants to merge 1 commit into
github:masterfrom
jbj:getValueText-changenote
Closed

C++: Change note for getValueText change#1820
jbj wants to merge 1 commit into
github:masterfrom
jbj:getValueText-changenote

Conversation

@jbj

@jbj jbj commented Aug 25, 2019

Copy link
Copy Markdown
Contributor

This change note describes the changes in #1659.

This change note describes the changes in github#1659.
@jbj jbj added C++ Priority PR that should be reviewed and merged as a matter of priority. labels Aug 25, 2019
@jbj jbj added this to the 1.22 milestone Aug 25, 2019
@jbj jbj requested review from felicitymay and ian-semmle August 25, 2019 13:18
@jbj

jbj commented Aug 25, 2019

Copy link
Copy Markdown
Contributor Author

This should not be merged if we decide to merge internal PR 33831 instead.

@jbj

jbj commented Aug 27, 2019

Copy link
Copy Markdown
Contributor Author

This change note was out of date. An updated one was merged to the internal repo.

@jbj jbj closed this Aug 27, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

C++ Priority PR that should be reviewed and merged as a matter of priority.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant